logic System Design